Formalizing UML-based Development of Fault Tolerant Control Systems⋆
نویسندگان
چکیده
In this paper we demonstrate how to formalize UML-based development of protective wrappers for tolerating transient faults. In particular, we focus on the fault tolerance mechanisms common in the avionics domain and show the development of a protective wrapper, called Failure Management System. We demonstrate how to integrate the formal refinement approach proposed earlier into the UML-based development.
منابع مشابه
Building Real-Time Embedded Systems with MetaH and UML [Abstract]
Building evolvable, embedded, time-critical systems with MetaH and UML This tutorial will look at how to develop embedded, time-critical system that can evolve as requirements or technology changes, using MetaH and the Unified Modeling language (UML). MetaH is an architectural design language, with a supporting toolset, for specifying, analyzing, and integrating computer control systems. MetaH ...
متن کاملFormal Model-Driven Development of Fault Tolerant Control Systems
Fault tolerance techniques aim at ensuring that a system continues to operate properly even in the presence of faults. Fault tolerance is especially important in safety-critical systems, where system failures might have catastrophic consequences. Transient faults – temporal defects within the system – are typical for control systems. However, they require complex mechanisms to tolerate them. In...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کامل